Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Performance antecedents of voluntary and involuntary managerial turnover.

Examined the job performance of 420 credit managers (mean age at hiring 25 yrs) from a large finance company who either quit their job, were fired, or were promoted to a higher position in the company. Six biographical variables and 12 performance appraisal scores accumulated from data in employee files were used in a cross-validated multiple discriminant analysis to predict membership in the 3 classification groups. Results reveal a systematic relation between the performance appraisal variables and the classification groups: The performance of promoted Ss was significantly superior to that of Ss who quit, which in turn was significantly superior to the performance of the fired Ss. 18 discriminating variables accounted for a 46.7% hit rate in group membership. Findings are discussed in the context of research on performance antecedents of voluntary and involuntary turnover, as well as the feedback properties of performance appraisal information. It is suggested that no single performance–turnover relation exists. (14 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Temperature effects on the mass flow rate in the SBI and similar heat‐release rate test equipment

In various medium‐to‐large‐scale fire test equipments like the ISO room corner test (RC), and more recently, the single burning item test (SBI) the mass flow rate measurement of the combustion gases plays a key role in the determination of the heat‐release rate and smoke‐production rate. With the knowledge of the velocity profile and the temperature of the flow, the mass flow rate is obtained by measuring the velocity on the axis of the duct. This is done by means of a bi‐directional probe based on the pitot principle. However, due to the variation of the mean temperature and the temperature gradient in any cross section of the duct, introduced by ever changing combustion gas temperatures, the velocity nor the density profile are constant in time. This paper examines the resulting uncertainty on the mass flow rate. Copyright © 2006 John Wiley & Sons, Ltd.     

First steps in developing a multimetric macroinvertebrate index for the Ohio River

The causes of degradation of aquatic systems are often complex and stem from a variety of human influences. Comprehensive, multimetric biological indices have been developed to quantify this degradation and its effect on aquatic communities, and measure subsequent recovery from anthropogenic stressors. Traditionally, such indices have concentrated on small‐to medium‐sized streams. Recently, however, the Ohio River Fish Index (ORFIn) was created to assess biotic integrity in the Ohio River. The goal of the present project was to begin developing a companion Ohio River multimetric index using benthic macroinvertebrates. Hester–Dendy multiplate samplers were used to evaluate benthic macroinvertebrate assemblages in relation to a gradient of water quality disturbance, represented by varying distances downstream of industrial and municipal wastewater outfalls in the Ohio River. In August 1999 and 2000, samplers were set every 100 m downstream of outfalls (12 outfalls in 1999, 22 in 2000) for 300–1000 m, as well as at upstream reference sites. Candidate metrics (n = 55) were examined to determine which have potential to detect changes in water quality downstream of outfalls. These individual measures of community structure were plotted against distance downstream of each outfall to determine their response to water quality disturbance. Values at reference and outfall sites were also compared. Metrics that are ecologically relevant and showed a response to outfall disturbance were identified as potentially valuable in a multimetric index. Multiple box plots of index scores indicated greater response to outfall disturbance during periods of low‐flow, and longitudinal river‐wide trends. Evaluation of other types of anthropogenic disturbance, as well as continued analysis of the effects of chemical water quality on macroinvertebrate communities in future years will facilitate further development of a multimetric benthic macroinvertebrate index to evaluate biotic integrity in the Ohio River. Copyright © 2007 John Wiley & Sons, Ltd.     

Positive psychology principles applied to consulting psychology at the individual and group level.

This article describes the application, at the team and individual level, of findings from the positive psychology research. An overview of this research is presented focusing on several areas generally included in the positive psychology domain: flow, appreciative inquiry, the broaden and build theory, and other strategies for increasing the experience of positive emotions and the identification and deployment of strengths. The authors propose that these applications show promise in consulting psychology engagements and may have merit when utilized by practitioners themselves. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

What's the use of being happy? Mood states, useful objects, and repetition priming effects.

Two experiments involving 99 undergraduate participants sought to examine the influence of mood states on encoding speed within lexical decision and pronunciation tasks. Mood states were measured naturalistically in Experiment 1 and manipulated in Experiment 2. Stimuli consisted of nouns representing useful (e.g., food) and nonuseful (e.g., lint) objects. Mood states had no implications for initial encoding speed. However, when the same words were presented a 2nd time (i.e., repeated), happy individuals displayed a tendency to encode useful words faster than nonuseful ones. Thus, mood states influenced repetition priming on the basis of stimulus valence. The authors propose that happiness sensitizes individuals to useful or rewarding objects, which in turn creates a stronger memory trace for such stimuli in the future. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Glyconanoparticle-DNA interactions: an atomic force microscopy study.

Glyconanoparticles which present carbohydrate and amino groups motifs at their surface were produced. These particles were highly stable and soluble in aqueous solutions. The presence of the carbohydrate groups also allowed the inclusion of more strongly binding groups, without affecting solubility. The binding of a model DNA, plasmid by these nanoparticles was studied by atomic force microscopy, transmission electron microscopy, and gel electrophoresis. Significant differences between the nanoparticles based on their affinities for the DNA were found, with implications for their potential use as nonviral gene delivery agents.     

Family-Responsive Interventions, Perceived Organizational and Supervisor Support, Work-Family Conflict, and Psychological Strain.

This study examined organizational family-responsive policies, perceptions of the organization as family supportive, and supervisor support as issues that may be salient to the experience of conflict between paid employment (work) and family roles. Data were collected from 355 managerial personnel in New Zealand. Although work-family conflict and psychological strain were strongly linked, the availability of organizational policies had no significant association with levels of conflict or strain, whereas policy usage was related only to work-to-family interference and not to family-to-work interference. On the other hand, perceptions of the organization as family supportive and supervisor support for work-family balance displayed significant relationships with key variables, highlighting the importance of these variables for interventions designed to ameliorate the negative impact of work-family conflict on managerial well-being. Implications for the effective implementation of family-responsive interventions are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)